Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚙️ PL Implementation
Compilers, Runtime Systems, JIT, Interpreter Design
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
27759
posts in
27.8
ms
rmzi/portable-dev-system
: Terminal-first development
methodology
with Claude Code skills
github.com
·
8h
·
Discuss:
Hacker News
⚔️
Lean Tactics
Invariant-Driven
Automated
Testing
arxiv.org
·
1d
🔍
Concolic Testing
Show HN:
Sabela
– A
Reactive
Notebook for Haskell
datahaskell.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔗
Functional Compilers
Translating
C To Rust:
Lessons
from a User Study
papers.cool
·
1d
🦀
Rust Borrowing
Right-sizes
LLM models to your system's RAM,
CPU
, and GPU
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
⚡
Cache Theory
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
⚔️
Lean Tactics
Beyond
Pandas
:
Architecting
High-Performance Python Pipelines
hackernoon.com
·
12h
🌊
Stream Processing
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
16h
🔧
Hardware Verification
TamTunnel/asmforge
:
AsmForge
IDE - AI-powered Assembly language IDE built on Eclipse Theia
github.com
·
4h
·
Discuss:
Hacker News
🔌
Archive APIs
LLVM 22.1 Released With Backend,
LLDB
, and
ThinLTO
Updates
linuxiac.com
·
22h
🏭
Compiler Backends
Verilog
Testbench
Essentials
hackster.io
·
1d
🔍
FPGA Verification
An AI Odyssey, Part 1:
Correctness
Conundrum
johndcook.com
·
6h
🔧
Hardware Verification
The
RISC
Concept - A Survey of
Implementations
inf.fu-berlin.de
·
3d
🧩
RISC-V
Show HN: Turn – A
compiled
systems language for agentic
computation
news.ycombinator.com
·
16h
·
Discuss:
Hacker News
🌐
Protocol Synthesis
GenDRAM
:Hardware-Software Co-Design of General Platform in
DRAM
arxiv.org
·
1d
⚡
Hardware Transactional Memory
How I run 4–8 parallel coding agents with
tmux
and
Markdown
specs
schipper.ai
·
18h
·
Discuss:
Hacker News
⚙️
Batch Processing
Dino
in the Machine:
Surviving
the Transformer Latency Trap in C++
hackernoon.com
·
1d
🏗️
Compiler Archaeology
What every computer science major should know
matt.might.net
·
9h
·
Discuss:
Hacker News
🔩
Systems Programming
CLI
kiro.dev
·
6h
🛡️
CLI Security
Guidelines for Writing
Cryptography
Specifications
cfrg.github.io
·
9h
·
Discuss:
Hacker News
📋
Format Specification
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help